// worker3.js
